- конечная аксиоматизация
- finite axiomatization мат.
Русско-английский научно-технический словарь Масловского. 2015.
конечная аксиоматизация
Look at other dictionaries:
Булева алгебра — Эта статья об алгебраической системе. О разделе математической логики, изучающем высказывания и операции над ними, см. Алгебра логики. Булевой алгеброй[1][2][3] называется непустое множество A с двумя бинарными операциями (аналог конъюнкции),… … Википедия
